Non-classical logic - PDFSEARCH.IO - Document Search Engine

Non-classical logic
Results: 703

#	Item
71	WHIRL in ProbLog Wannes Meert, Anton Dries, Angelika Kimmig KU Leuven, Belgium Abstract Add to Reading List Source URL: lirias.kuleuven.be Language: English - Date: 2015-07-22 06:00:12 Datalog Logic programming Non-classical logic Prolog Inference Ranking Probabilistic logic Clause
72	Tactics for Separation Logic early draft Andrew W. Appel INRIA Rocquencourt & Princeton University January 13, 2006 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-11-29 16:23:38 Philosophical logic Non-classical logic Logic in computer science Automated theorem proving Logic programming Hoare logic Separation logic Substitution Modal logic Quantifier FO Constructible universe
73	Languages for Computational Creativity Generative Art and Interactive Worlds (Full Presentation) Chris Martens Carnegie Mellon University Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Logic Visual arts Abstraction Programming paradigms Non-classical logic Formal languages Grammar Logic in computer science Generative art Logic programming Linear logic Generative music
74	Microsoft PowerPoint - Dissvortrag-Version_2007-11-08_online.ppt Add to Reading List Source URL: www.ruedi-arnold.com Language: English - Date: 2011-12-23 03:20:07 Logic Mathematical logic Abstraction Syntax Propositional calculus Non-classical logic Boolean algebra Matrix Well-formed formula Proposition Tautology First-order logic
75	Local Actions for a Curry-style Operational Semantics ∗ Gordon Stewart Andrew W. Appel Princeton University, Princeton, NJ, USA Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2010-11-22 11:49:24 Logic Theoretical computer science Logic in computer science Mathematical logic Programming language semantics Philosophical logic Non-classical logic Operational semantics Semantics Kripke semantics Modal logic Axiomatic semantics
76	Microsoft Word - Zwiker-summary-04.rtf Add to Reading List Source URL: www.kutter-fonds.ethz.ch Language: English - Date: 2010-05-16 10:11:36 Artificial intelligence Fuzzy logic Cybernetics Non-classical logic Fuzzy control system Machine learning Multi-agent system Intelligent agent
77	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction
78	Revisiting default description logics – and their role in aligning ontologies Kunal Sengupta1 , Pascal Hitzler1 , and Krzysztof Janowicz2 1 Wright State University, Dayton OH 45435, USA Add to Reading List Source URL: geog.ucsb.edu Language: English - Date: 2015-06-12 14:24:23 Logic Abstraction Philosophy Non-classical logic Model theory Reasoning Knowledge representation Logic programming Default logic Description logic First-order logic Web Ontology Language
79	Premises as Resources Johannes C. Flieger Scheme UK April 2003 Abstract Premises as resources; Weakening and Contraction; central notions Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:15 Logic Mathematical logic Proof theory Abstraction Non-classical logic Sequent NC Linear logic Constructible universe CurryHoward correspondence Natural deduction

UPDATE